Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
91	Secrecy and Authenticity Types for Secure Distributed Messaging? Michele Bugliesi, Stefano Calzavara, and Damiano Macedonio Universit` a Ca’ Foscari Venezia, Dipartimento di Informatica {michele,scalzava,mace}@dsi.univ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:59 Logic in computer science Mathematical logic Mathematical analysis Modular forms Curry–Howard correspondence Natural deduction Symbol Mathematics Proof theory
92	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
93	A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE ANDREAS ABEL, THIERRY COQUAND, AND MIGUEL PAGANO Ludwig-Maximilians-Universit¨ at M¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-23 03:51:04 Normalisation by evaluation Symbol Logic Mathematics Valuation Model theory Natural deduction Orbifold Abstract algebra Metalogic Lambda calculus
94	Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-02 15:59:38 Deduction Logical consequence Natural deduction Propositional calculus Sequent calculus Entailment Linear logic Monotonicity of entailment Curry–Howard correspondence Logic Proof theory Mathematical logic
95	A Semantic Model for Graphical User Interfaces Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-12 04:10:50 Logic in computer science Deduction Denotational semantics Sheaf Entailment Combinatory logic Function Functional-theoretic algebra Natural deduction Logic Mathematics Abstract algebra
96	Copatterns Programming Infinite Structures by Observations Andreas Abel Department of Computer Science, Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-11-04 20:07:09 Data types Functional languages Type theory Literate programming Deduction Natural deduction Pattern matching String Model theory Software engineering Computing Computer programming
97	Automatically Generating Problems and Solutions for Natural Deduction Umair Z. Ahmed IIT Kanpur Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-24 00:34:28 Propositional calculus Mathematical logic Logical truth Rule of inference Natural deduction Algorithm Maths24 PROPT Logic Deduction Proof theory
98	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
99	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
100	Natural Deduction for Relevance Logics∗ John MacFarlane—Philosophy 142 March 27, 2011 Last time we looked at a system for assessing "first-degree entailments," which are so-called because they contain only one occurr Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-28 01:10:55 Deduction Logical consequence Binary operations Entailment Relevance logic Paradoxes of material implication Material conditional Natural deduction Logic Propositional calculus Philosophical logic